Abstract data type - PDFSEARCH.IO - Document Search Engine

Abstract data type
Results: 296

#	Item
271	LNCS[removed]Domain Types: Abstract-Domain Selection Based on Variable Usage Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-11-30 14:35:51 Data types Type theory Binary decision diagram Boolean algebra Diagrams Model checking Function Variable Type system Mathematics Mathematical logic Software engineering
272	Digging For Data Structures Anthony Cozzie, Frank Stratton, Hui Xue, and Samuel T. King University of Illinois at Urbana-Champaign Abstract Add to Reading List Source URL: www.acoz.net Language: English - Date: 2010-06-10 18:44:04 Data types C++ Type theory Memory management Primitive types Pointer Type safety C Reference Software engineering Computing Computer programming
273	Sibling Rivalry: C and C++ Bjarne Stroustrup AT&T Labs Florham Park, NJ, USA ABSTRACT Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:52 C programming language C++ Data types Cross-platform software Type theory C99 C Inline function Pointer Computing Computer programming Software engineering
274	A Principled, Complete, and Efficient Representation of C++ Gabriel Dos Reis and Bjarne Stroustrup Abstract. We present a systematic representation of C++, called IPR, for complete semantic analysis and semantics-based p Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:46 C++ Data types Type theory Cross-platform software Generic programming C++11 Type safety Decltype Type system Software engineering Computing Programming language theory
275	Stat405 Data structures Hadley Wickham Tuesday, October 16, 12 1. Atomic vectors Add to Reading List Source URL: stat405.had.co.nz Language: English - Date: 2012-10-16 14:04:52 Linear algebra Data types Array data type Vector space ALGOL 68 Euclidean vector Matrix Array data structure Algebra Mathematics Abstract algebra
276	Types and Hardware Description Languages. Tim Sheard February 16, 2007 Abstract Hardware description systems could beneﬁt from advances in programming language design. Recent research, in the area of rich type systems Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2007-02-16 18:28:43 Boolean algebra Procedural programming languages Data types Binary arithmetic Bitwise operation Cons ALGOL 68 Factorial Exclusive or Software engineering Mathematics Computing
277	Natto: Visualizing Mixed Type Dataset for Exploratory Data Analysis Ryota Suzuki, Tatsuhiro Nagai and Tomoya Taniguchi Ef-prime, Inc. October 14, 2006 Abstract Add to Reading List Source URL: www.ef-prime.com Language: English - Date: 2013-01-09 01:47:37 Scientific method Research methods Data analysis Analysis Statistics R Data set Nattō Information Science Data
278	TCI/TRI Quick Reference Card (www.blukaktus.com), V0[removed] of 8 Add to Reading List Source URL: www.blukaktus.com Language: English - Date: 2014-06-22 06:30:47 Software testing TTCN-3 TTCN Abstract Syntax Notation One Boolean data type Java Computing Software engineering Computer programming
279	Key Independent Optimality John Iacono∗ Abstract A new form of optimality for comparison based static dictionaries is introduced. This type of optimality, keyindependent optimality, is motivated by applications that as Add to Reading List Source URL: john2.poly.edu Language: English - Date: 2007-12-27 15:24:27 Computer programming Computing Binary search tree Self-balancing binary search tree Binary search algorithm Heap Tree rotation Tango tree Scapegoat tree Binary trees Splay tree Data management
280	Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code Sandrine Blazy1 , Vincent Laporte1 , and David Pichardie2 1 Université Rennes 1 – IRISA – Inria Add to Reading List Source URL: people.irisa.fr Language: English - Date: 2014-06-04 05:25:47 Assembly languages Abstract interpretation Subroutine X86 assembly language Data type MIX Computer programming Computing Software engineering

UPDATE